(Completion Options): Add an index for "ignored file names".
authorEli Zaretskii <eliz@gnu.org>
Thu, 22 Feb 2001 13:33:05 +0000 (13:33 +0000)
committerEli Zaretskii <eliz@gnu.org>
Thu, 22 Feb 2001 13:33:05 +0000 (13:33 +0000)
commit12d8fd05d4574389d7bcadcb84456920539000e2
treeb7238cd115a1652e5079ae53e2a07aeb624a663a
parentdf1f9e8e2005e0f1b1c5c9190fedf8f2a13a9138
(Completion Options): Add an index for "ignored file names".
man/mini.texi